\begin{tabbing}
f2f+{-}p+\=\{i:l\}\+
\\[0ex](${\it es}$; ${\it ff}$; ${\it f2f+}$; ${\it sndr}$; ${\it rcvr}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$rel\_plus(es{-}E(${\it es}$); ($\lambda$${\it e'}$,$e$. f2f+{-}pred\{i:l\}(${\it es}$; ${\it ff}$; ${\it f2f+}$; ${\it sndr}$; ${\it rcvr}$; ${\it e'}$; $e$)))
\end{tabbing}